Constraint satisfaction problem

Results: 216



#Item
101Internet privacy / Constraint satisfaction problem / Privacy / Flow network / Exponential mechanism / Ethics / Identity management / Social issues

Evaluating data utility of privacy-preserving pseudonymized location datasets* Tomoya Tanjo1† , Kazuhiro Minami1 , Ken Mano2 , and Hiroshi Maruyama1 1 Institute of Statistical Mathematics, Tokyo, Japan {tanjo, kminami,

Add to Reading List

Source URL: isyou.info

Language: English - Date: 2014-09-21 04:11:00
102Support vector machine / Machine learning / Constraint programming / Satisfiability / Active learning / Constraint satisfaction problem / PP / Boolean satisfiability problem / Theoretical computer science / Statistical classification / Applied mathematics

A Phase Transition-Based Perspective on Multiple Instance Kernels Romaric Gaudel1,2 , Mich`ele Sebag1 , and Antoine Cornu´ejols3 1 CNRS − INRIA − Univ. Paris-Sud, FOrsay, France

Add to Reading List

Source URL: www.lri.fr

Language: English - Date: 2007-11-19 08:56:00
103Computer programming / Constraint satisfaction problem / Constraint / Standard ML / Computing / Constraint programming / Mathematical optimization / Software engineering

Making Set-Constraint Program Analyses Scale Manuel Fahndrich Alexander Aiken EECS Department

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2006-08-29 16:42:57
104Artificial intelligence / Constraint satisfaction problem / Local consistency / Constraint satisfaction / Local search / Search algorithm / Backtracking / Mathematical optimization / Constraint logic programming / Constraint programming / Software engineering / Computer programming

5 CONSTRAINT SATISFACTION PROBLEMS In which we see how treating states as more than just little black boxes leads to the

Add to Reading List

Source URL: aima.cs.berkeley.edu

Language: English - Date: 2002-11-14 11:02:01
105Mathematics / Test Data Generation / Concolic testing / Constraint satisfaction problem / Symbolic execution / Actor model / Code coverage / Fifteen puzzle / Mutation testing / Software testing / Games / Software engineering

Puzzle-Based Automatic Testing: Bringing Humans into the Loop by Solving Puzzles Ning Chen and Sunghun Kim The Hong Kong University of Science and Technology Hong Kong, China

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2012-09-07 00:53:22
106Computer programming / Nurse scheduling problem / Constraint satisfaction / Constraint logic programming / Constraint / ECLiPSe / Mathematical optimization / Constraint programming / Declarative programming / Software engineering

A Hybrid AI Approach to Staff Scheduling Graham Winstanley School of Computing & Mathematical Sciences University of Brighton [removed]

Add to Reading List

Source URL: www.it.bton.ac.uk

Language: English - Date: 2002-08-09 08:16:48
107Planar graphs / Graph coloring / NP-complete problems / Matching / Tree decomposition / Edge coloring / Clique / Minimum spanning tree / Shortest path problem / Graph theory / Theoretical computer science / Graph operations

Abstracts Manuel Bodirsky, Ecole Polytechnique The Product Ramsey Theorem in Constraint Satisfaction Complexity In this talk, I show how the product Ramsey theorem can be used jointly with tools from universal algebra to

Add to Reading List

Source URL: asz.informatik.hu-berlin.de

Language: English - Date: 2008-06-05 10:03:31
108Artificial intelligence / Game artificial intelligence / Search algorithms / Constraint satisfaction problem / Heuristic function / Alpha-beta pruning / Local consistency / Minimax / Heuristic / Constraint programming / Mathematics / Theoretical computer science

A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T.,

Add to Reading List

Source URL: www.tmak.info

Language: English - Date: 2013-10-06 08:30:52
109Analysis of algorithms / Constraint programming / Dating / Marriage / Matchmaking / Algorithm / Distributed computing / Time complexity / Constraint satisfaction problem / Theoretical computer science / Applied mathematics / Computer science

Policy Driven Heterogeneous Resource Co-Allocation with Gangmatching Rajesh Raman, Miron Livny and Marvin Solomon {raman, miron, solomon}@cs.wisc.edu University of Wisconsin 1210 West Dayton Street Madison, WI 53706

Add to Reading List

Source URL: research.cs.wisc.edu

Language: English - Date: 2012-10-24 18:42:11
110Computer programming / Local consistency / Constraint satisfaction problem / Constraint satisfaction / Backtracking / Constraint optimization / Eight queens puzzle / Branch and bound / Heuristic function / Constraint programming / Mathematics / Software engineering

C:/Documents and Settings/wkmak/Desktop/DropBox/Dropbox/Thesis/main.dvi

Add to Reading List

Source URL: www.tmak.info

Language: English - Date: 2013-10-06 08:31:17
UPDATE